S-invariants相关论文
为有效判定工作流网的S-可覆盖性，将工作流网的S-可覆盖性判定转化为线性规划问题，借助单纯形方法给出一个判定工作流网S-可覆盖......
S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Pe......
